翻訳と辞書 |
Horseshoe lemma : ウィキペディア日本語版 | Horseshoe lemma ホモロジー代数において、horseshoe lemma は、simultaneous resolution theorem と呼ばれることもあるが、2つの対象 と の分解を の による拡張の分解に関係づけるステートメントである。それは次のようなものである。対象 が の による拡張であれば、 の分解は、分解の ''n'' 番目の項が と の分解における ''n'' 番目の項の余積に等しいように帰納的に構成することができる。補題の名前は補題の仮定を描く図式の形に由来する。 == 正式なステートメント == を をもったアーベル圏とする。
が における図式であって列が完全で行がそれぞれ と の射影分解であれば、可換図式
にすることができる。ただしすべての列は完全で、真ん中の行は の射影分解で、すべての ''n'' に対して である。 がをもったアーベル圏であれば、命題もまた成り立つ。 補題は帰納的に証明できる。帰納法の各段階で、射影対象の性質が の射影分解の写像を定義するのに使われる。するとスネークレンマの助けを借りてこのように構成された分解の行が完全であることが示される。
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Horseshoe lemma」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|